$P$ \& $Q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$:$P$ $\times$ $Q$